all:
	ghc --make Main.hs -o prove
	./prove knowledgebase.txt

clean:
	-rm -f prove *.hi *.o *~
